formal semantics中文是什么意思

• 形式语意学
• 形式语义学

• "formal"中文翻译    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事 ...
• "semantics"中文翻译    n. 1.【语言学】语义学。 2.【哲学】语义哲学；语义 ...
• "introduction to formal semantics" 中文翻译 :    形式语义学引论
• "semantics" 中文翻译 :    n. 1.【语言学】语义学。 2.【哲学】语义哲学；语义学派。
• "formal" 中文翻译 :    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事的。 3.形态的，外形的；形式上的；拘泥形式的，刻板的。 4.布置整齐的，有条理的。 5.正规的，合乎规格的。 6.【语言】规范化的，书面语的，正规的〔非俗语、俚语的〕。 a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal logic 形式逻辑。 a formal resemblance 外形上的类似。 formal obedience 表面服从。 n. 1.〔美国〕须穿礼服的社交集会。 2.〔口语〕夜礼服。 go formal 〔口语〕穿夜礼服。 n. -ness
• "algebraic semantics" 中文翻译 :    代数语义学
• "axiomatic semantics" 中文翻译 :    公理化语义; 公理语义学
• "body semantics" 中文翻译 :    手势语义学; 体态语义学
• "cartographic semantics" 中文翻译 :    地图语义
• "compositional semantics" 中文翻译 :    成分语义学; 组合语义学
• "computational semantics" 中文翻译 :    计算语意学; 计算语义学
• "database semantics" 中文翻译 :    数据库语义学
• "declarative semantics" 中文翻译 :    宣告语意
• "denotational semantics" 中文翻译 :    标志语意; 标志语义; 完全抽象; 指称语义学
• "deterministic semantics" 中文翻译 :    确定性语义学
• "functional semantics" 中文翻译 :    功能语义
• "game semantics" 中文翻译 :    博弈语义
• "general semantics" 中文翻译 :    【语言学】普通语义学。
• "generative semantics" 中文翻译 :    生成语义学
• "intensional semantics" 中文翻译 :    内涵语意学
• "interleaving semantics" 中文翻译 :    交错语义
• "interpretative semantics" 中文翻译 :    解释语义学
• "interpretive semantics" 中文翻译 :    解释语义; 诠释性语意学
• "kripke semantics" 中文翻译 :    kripke语义; 关系语义
• "language semantics" 中文翻译 :    语言的语义

• The formal semantics of rt - z , based on the denotation semantics of z and timed csp , is a prerequisite for preciseness and mathematical rigour
  Rt - z的语义基于z和timedcsp ，这是它具有正确性和数学严格性的基础。
• The discussion exploits rules to ascribe main uml elements with formal semantics in terms of functionally equivalent petri nets
  本文提出的pbmum方法的基本思想是采用与uml具有同等功能的petri网的形式化语义规则去描述uml的主要元素。
• The disadvantage of it is lacking a formal semantics and difficult to apply , directly , mathematical techniques on uml models for system validation
  但uml的缺点是难以直接用数学工具对uml模型进行检验，另外uml在语义方面也存在一些不足。
• This idea provided the foundation for the justification of the corresponding work flow functional requirement to the formal semantics by means of model examination
  为使用模型检查方法来验证与形式化语义对应的工作流功能需求奠定了基础。
• At present , many organizations and individuals are engaged in the study of uml formal semantics . they attempt to influence the future of uml through the study of uml
  目前，很多机构和个人都在从事uml的形式语义研究，他们试图通过对uml的研究来对uml的未来产生影响。
• Owl facilitates greater machine interpretability of web content than that supported by xml , rdf , and rdf schema by providing additional vocabulary along with formal semantics
  Owl既提供了正式的语义，又提供了附加的词汇，所以比起xml 、 rdf和rdf schema ，对web内容实现了更好的机器互操作性。
• Developerworks , october 2005 : learn about skos the simple knowledge organization system , a recent semantic web standard for managing subject matter , and how you can use skos to integrate formal semantics with document content
  ” （ developerworks ， 2005年10月） ：学习skos （简单知识组织系统） ，管理主题问题的最新语义web标准，以及如何用skos把正式的语义与文档内容集成。
• The final formal semantics are more complicated than originally expected , and in fact took quite a different form than initially envisioned , but the informal semantics are clear and intuitive and will be outlined in part 2 of this article
  最终正式的语义比原来所预料的要复杂得多，实际上它采用了一种与原先预想的完全不同的形式，但非正式的语义是清晰直观的，将在本文的第2部分概要地说明。
• The formal semantics of sql is the theoritical foundation of query rewriting , but there is no satisfying method to translate sql into a canonical form . in this paper , we propose a better formalizing method for sql which is more succinct
  Sql的形式语义是查询重写研究的理论基础，本文在前人工作的基础上，提出了一种更加完善的形式化方法，不但消除了以往形式化方法的部分不足，而且从形式上也更为简洁、直观。
• ( 3 ) discusses the formal specifications for hardware formal design and presents the formal model of fcmhd ( formal computational model for hardware design ) and its formal semantics based on itl ( interval temporal logic )
  作者以时段演算( durationcalculus ， dc )为工具对vhdl的子集进行了形式语义分析；通过分析vhdl和veriloghdl部分语句的形式语义，为硬件描述语言的分析、设计、编译提供了一个严格的理论基础和新的途径。

• formal semantics in Hindi
• formal semantics 意味
• formal semantics meaning
• formal semantics 뜻
• formal semantics перевод
• formal semanticsとは意味形式意味論｛けいしき いみろん｝